LASA: Enhancing SoC Security Verification with LLM-Aided Property Generation
arxiv.org·1d
🔍FPGA Verification
4-input 2-output Boolean circuits (2020)
cp4space.hatsya.com·1d·
Discuss: Hacker News
⚙️Logic Synthesis
Pong in Discrete Components
hackaday.com·18h
🎮GameBoy Architecture
Red Pitaya STEMlab 125-14 PRO Gen 2 is an AMD Zynq 7010/7020-based board for measurement, control, and signal processing
cnx-software.com·1d
🔍FPGA Verification
Why Binary Won and Nothing Else Even Got Close
b0a04gl.site·18h·
Discuss: Hacker News
🧲RISC-V Archaeology
My first experience with Formal Methods | ZipCPU
zipcpu.com·6d
🔧Hardware Verification
Proving that every program halts
ntietz.com·2d
👑Isabelle
The one-more-re-nightmare compiler (2021)
applied-langua.ge·21h·
Discuss: Lobsters, r/programming
🔍RegEx Engines
LLM-Aided Testbench Generation and Bug Detection for Finite-State Machines
arxiv.org·1d
🔧Hardware Verification
MIT’s New 3D Chips Could Make Electronics Faster and More Energy-Efficient
scitechdaily.com·1d
🖥️Modern Terminals
ML in the Home
blog.raymond.burkholder.net·1d
📈Time Series
PicoEMP: low-cost Electromagnetic Fault Injection (EMFI) tool
github.com·11h·
Discuss: Hacker News
⚡Circuit Archaeology
Unlocking Hyper-Security: The Power of AI in Multi-Modal Biometric Systems
dev.to·10h·
Discuss: DEV
🎵Spectral Hashing
LFCS Seminar Tuesday 8th July: John Longley
informatics.ed.ac.uk·2d
💻Programming languages
Microcontrollers: Getting Started
youtube.com·5d
🔌Microcontrollers
Shrinking the Generation-Verification Gap with Weak Verifiers
arxiv.org·1d
🧪CBOR Fuzzing
The Internal Inconsistency of Large Language Models
blog.kortlepel.com·21h·
Discuss: Hacker News
💻Local LLMs
Cost-Effective Optimization and Implementation of the CRT-Paillier Decryption Algorithm for Enhanced Performance
arxiv.org·1d
🔢Bitwise Algorithms
The FPGA Turns 40!
adiuvoengineering.com·4d·
Discuss: Hacker News
🔍FPGA Verification
Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions
arxiv.org·1d
🎯Performance Proofs